广义归结(摘要)

根据中国电子学会计算机学会1979年学术活动计划的安排,“计算机科学暑期讨论会”于1979年7月23—30日在吉林省长春市召开。讨论会上宣读的论文共45篇,在此只刊登其中一部分。这些论文生动地反映了我国近几年来计算机科学的研究成果。虽然这还不能全面反映我国计算机科学的研究成果,但从这些论文可以明显地看出,在我国一支小小的计算机科学研究队伍正在形成。这是一棵新生的幼苗,让我们爱护它,培育它。因为在新长征中,它将成长壮大,起到自己应有的作用。     

广义归结

本文对1965年J.A.Robinson提出的归结方法(Resolution principle)做了推广,提出了广义归结方法。由于广义归结方法允许对所要证明的定理做比较自然的描述,因此,使用广义归结方法去证明定理会简单,自然。本文证明了广义归结方法的完备性和一种广义锁归结方法、广义线性归结方法、广义语义归结方法的完备性。     

关于人工智能

一、人工智能的性质人类在生产劳动中,创造了各种各样的生产工具。所有这些工具本来都只是为了代替人类的某些体力劳动。人类的这个创造过程,到18世纪瓦特发明蒸气机时,取得了重